|
In mathematics, the formal derivative is an operation on elements of a polynomial ring or a ring of formal power series that mimics the form of the derivative from calculus. Though they appear similar, the algebraic advantage of a formal derivative is that it does not rely on the notion of a limit, which is in general impossible to define for a ring. Many of the properties of the derivative are true of the formal derivative, but some, especially those that make numerical statements, are not. The primary use of formal differentiation in algebra is to test for multiple roots of a polynomial. ==Definition== The definition of formal derivative is as follows: fix a ring ''R'' (not necessarily commutative) and let ''A'' = ''R''() be the ring of polynomials over ''R''. Then the formal derivative is an operation on elements of ''A'', where if : then its formal derivative is : just as for polynomials over the real or complex numbers. Note that does not mean multiplication in the ring, but rather where is never used inside the sum. One should mention that there is a problem with this definition for noncommutative rings. The formula itself is correct, but there is no standard form of a polynomial. Therefore using this definition it's difficult to prove . 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「formal derivative」の詳細全文を読む スポンサード リンク
|